operational semantics中文是什么意思

• 操作语义
• 运算语义

• operational    adj. 1.(装置，系统，工艺等)工作的，运转的。 2 ...
• semantics    n. 1.【语言学】语义学。 2.【哲学】语义哲学；语义 ...
• semantics    n. 1.【语言学】语义学。 2.【哲学】语义哲学；语义学派。
• no not operational    不可操作; 不可运行
• not operational    不可运行，不可操作
• operational    adj. 1.(装置，系统，工艺等)工作的，运转的。 2.可以使用的，可以工作的，可以运转的。 3.正在使用的，正在工作的，正在运转的。 4.军事行动的，准备在军事行动中使用的。 operational research 运筹学。 adv. -ly
• operational a    操作上的；可使用的
• algebraic semantics    代数语义学
• axiomatic semantics    公理化语义; 公理语义学
• body semantics    手势语义学; 体态语义学
• cartographic semantics    地图语义
• compositional semantics    成分语义学; 组合语义学
• computational semantics    计算语意学; 计算语义学
• database semantics    数据库语义学
• declarative semantics    宣告语意
• denotational semantics    标志语意; 标志语义; 完全抽象; 指称语义学
• deterministic semantics    确定性语义学
• formal semantics    形式语意学; 形式语义学
• functional semantics    功能语义
• game semantics    博弈语义
• general semantics    【语言学】普通语义学。
• generative semantics    生成语义学
• intensional semantics    内涵语意学
• interleaving semantics    交错语义
• interpretative semantics    解释语义学

• The type information provides more precise operational semantics to the values
  类型信息为值提供更精确的操作语义。
• Firstly , uml statecharts is structurally expressed by extended hierarchical automaton ( eha ) , and its operational semantics is expatiated . the correctness of semantics can be ensured through finding the maximal non - conflict transition set
  首先针对uml的特点对扩展层次自动机( extendedhierarchicalautomata ， eha )进行改进，以便能结构化地表示umlstatecharts ，并给出相应的操作语义。
• After - transforming the labeled transition system of operational semantics and linear temporal logic formula into btlchi automata respectively , the correctness of uml statecharts can be verified using automaton - based model checking method
  在把根据eha操作语义得到的标记迁移系统和表示性质的线性时态逻辑公式分别转换为b chi自动机后，用基于自动机理论的模型检验方法验证umlstatecharts的正确性。
• The character of the thesis was the following : ( 1 ) giving the modification of lambda calculus in order to describe the character of dynamic fuzzy ; ( 2 ) giving an operational semantics model of dfl programming language which can solve dynamic fuzzy problems and proving the correctness and reliability of it ; ( 3 ) giving the frame of dfl programming language
  本文的特色体现在: ( 1 )提出了可以描述动态模糊性问题的演算的变形方法; ( 2 )提出了可以解决动态模糊性问题的dfl程序设计语言的操作语义模型,并对该模型的正确性和可靠性进行了证明; ( 3 )提出了dfl程序设计语言的基本框架结构。
• Up to now , there has been ten years for the research of dynamic fuzzy logic ( dfl ) and a series of achievements have been made . in order to further expand the applications of dfl , this thesis followed dijkstra ’ s guarded commands and put forward an operational semantics model of dfl programming language which can solve dynamic fuzzy problems
  动态模糊逻辑( dfl )的研究已有十年的时间了,目前已取得了一系列研究成果,为了进一步拓展这些研究成果的应用,本文借鉴dijkstra的监督命令程序结构,通过结构化操作语义描述方法从软件理论方面进行研究,提出了动态模糊逻辑程序设计语言( dflprogramminglanguage )的操作语义模型,以期形成解决动态模糊性问题的程序设计方法。
• The main work included : the classical lambda calculus was modified to describe the character of dynamic fuzzy ; the abstract syntax of dfl programming language was described through bnf notation ; an operational semantics model of dfl programming language was proposed with a ternary array < dfsc , dfo , dfss > and then some basic data types and several mechanisms of constructing new data types were defined ; the frame of dfl progaramming language was provided ; it was described how to solve some problems applying the operational semantics model ; the correctness and reliability of the operational semantics model were proved by hoare logic and denotational semantics
  主要内容包括:变形传统的演算,以更好地描述具有动态模糊性的问题;通过bnf描述了dfl程序设计语言的抽象语法;通过一个三元组< dfsc , dfo , dfss >给出了dfl程序设计语言的操作语义模型;给出了dfl程序设计语言的基本框架结构;给出了该操作语义模型的一些应用实例;通过hoare逻辑和基本指称语义对本文所定义的操作语义模型的正确性和可靠性进行了证明。由此可见,本文从全新的角度定义了一种可以处理动态模糊问题的程序设计语言。

• operational semanticsとは意味：操作的意味論｛そうさ てき いみろん｝